(** Module GenDummy
 *  - dummy generator
 *
 *  Author: Jk
 *)

let generator  _  _ = ()
let options = Settings.customize (Settings.empty()) []  (fun () -> [])
